[next] [prev] [prev-tail] [tail] [up]

Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 156 126 161 624 0 0 563

N.S.

1 1.00 1.00 0.81 1.03 4.00 0.00 0.00 3.61

time (sec)

N/A 0.712 2.789 0.256 0.305 0.260 0.000 0.000 7.954

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 168 168 215 814 0 0 3051

N.S.

1 1.00 0.77 0.77 0.99 3.75 0.00 0.00 14.06

time (sec)

N/A 0.917 3.581 0.247 0.332 0.278 0.000 0.000 9.810

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 268 182 198 259 903 0 0 3106

N.S.

1 1.00 0.68 0.74 0.97 3.37 0.00 0.00 11.59

time (sec)

N/A 1.087 5.455 0.270 0.310 0.277 0.000 0.000 9.929

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 162 181 185 457 0 0 279

N.S.

1 1.00 0.64 0.71 0.73 1.79 0.00 0.00 1.09

time (sec)

N/A 0.832 3.108 0.147 0.335 0.262 0.000 0.000 8.545

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 204 142 162 392 0 0 230

N.S.

1 1.00 0.97 0.67 0.77 1.86 0.00 0.00 1.09

time (sec)

N/A 0.629 3.884 0.136 0.289 0.264 0.000 0.000 7.682

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 167 177 124 141 393 0 0 187

N.S.

1 1.00 1.06 0.74 0.84 2.35 0.00 0.00 1.12

time (sec)

N/A 0.478 2.216 0.132 0.287 0.259 0.000 0.000 7.945

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 147 121 136 391 0 0 186

N.S.

1 1.00 0.96 0.79 0.89 2.56 0.00 0.00 1.22

time (sec)

N/A 0.371 2.082 0.133 0.313 0.269 0.000 0.000 8.353

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 76 123 139 392 0 0 205

N.S.

1 1.00 0.49 0.79 0.90 2.53 0.00 0.00 1.32

time (sec)

N/A 0.228 0.889 0.131 0.294 0.248 0.000 0.000 7.608

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 217 153 186 644 0 0 528

N.S.

1 1.00 1.13 0.80 0.97 3.35 0.00 0.00 2.75

time (sec)

N/A 1.111 3.278 0.311 0.304 0.270 0.000 0.000 7.832

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 259 269 195 240 834 0 0 3002

N.S.

1 1.00 1.04 0.75 0.93 3.22 0.00 0.00 11.59

time (sec)

N/A 1.237 6.375 0.302 0.309 0.289 0.000 0.000 10.088

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

312 312 298 225 283 923 0 0 3048

N.S.

1 1.00 0.96 0.72 0.91 2.96 0.00 0.00 9.77

time (sec)

N/A 1.412 8.701 0.299 0.316 0.290 0.000 0.000 10.015

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 108 272 202 480 0 142 161

N.S.

1 1.00 0.83 2.09 1.55 3.69 0.00 1.09 1.24

time (sec)

N/A 0.255 1.457 0.087 0.318 0.329 0.000 0.638 12.583

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 89 251 186 432 0 112 130

N.S.

1 1.00 0.85 2.39 1.77 4.11 0.00 1.07 1.24

time (sec)

N/A 0.203 0.928 0.035 0.307 0.257 0.000 0.559 10.240

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 71 226 170 372 0 82 99

N.S.

1 1.00 0.89 2.82 2.12 4.65 0.00 1.02 1.24

time (sec)

N/A 0.145 0.542 0.033 0.332 0.254 0.000 0.460 9.755

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 55 201 151 314 0 47 68

N.S.

1 1.00 1.00 3.65 2.75 5.71 0.00 0.85 1.24

time (sec)

N/A 0.108 0.588 0.032 0.285 0.248 0.000 0.493 9.178

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 54 202 151 367 0 46 67

N.S.

1 1.00 1.02 3.81 2.85 6.92 0.00 0.87 1.26

time (sec)

N/A 0.119 0.536 0.037 0.306 0.262 0.000 0.619 8.139

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 58 220 171 427 0 69 99

N.S.

1 1.00 0.74 2.82 2.19 5.47 0.00 0.88 1.27

time (sec)

N/A 0.171 0.594 0.034 0.303 0.280 0.000 0.720 9.543

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 57 236 187 486 0 93 123

N.S.

1 1.00 0.55 2.29 1.82 4.72 0.00 0.90 1.19

time (sec)

N/A 0.227 0.808 0.037 0.316 0.277 0.000 0.802 9.973

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 130 298 230 555 0 194 326

N.S.

1 1.00 0.71 1.63 1.26 3.03 0.00 1.06 1.78

time (sec)

N/A 0.610 4.676 0.105 0.291 0.337 0.000 1.139 13.162

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 111 275 212 501 0 160 291

N.S.

1 1.00 0.71 1.76 1.36 3.21 0.00 1.03 1.87

time (sec)

N/A 0.501 2.134 0.037 0.288 0.289 0.000 0.964 10.807

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 93 252 194 441 0 126 256

N.S.

1 1.00 0.72 1.95 1.50 3.42 0.00 0.98 1.98

time (sec)

N/A 0.432 1.364 0.033 0.289 0.275 0.000 0.754 9.109

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 75 229 174 389 0 92 221

N.S.

1 1.00 0.72 2.20 1.67 3.74 0.00 0.88 2.12

time (sec)

N/A 0.325 1.973 0.031 0.283 0.251 0.000 0.756 8.849

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 74 217 170 386 0 69 203

N.S.

1 1.00 0.76 2.21 1.73 3.94 0.00 0.70 2.07

time (sec)

N/A 0.236 1.365 0.035 0.425 0.260 0.000 0.836 7.710

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 86 222 177 441 0 79 222

N.S.

1 1.00 0.84 2.18 1.74 4.32 0.00 0.77 2.18

time (sec)

N/A 0.240 1.582 0.041 0.394 0.263 0.000 0.895 8.384

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 102 240 195 502 0 107 258

N.S.

1 1.00 0.80 1.89 1.54 3.95 0.00 0.84 2.03

time (sec)

N/A 0.289 2.650 0.032 0.383 0.267 0.000 1.089 9.500

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 120 258 213 561 0 136 293

N.S.

1 1.00 0.78 1.68 1.38 3.64 0.00 0.88 1.90

time (sec)

N/A 0.349 3.474 0.037 0.398 0.282 0.000 1.142 10.918

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 129 299 234 561 0 194 327

N.S.

1 1.00 0.65 1.51 1.18 2.83 0.00 0.98 1.65

time (sec)

N/A 0.535 3.182 0.032 0.410 0.316 0.000 1.111 13.580

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 112 276 216 498 0 160 292

N.S.

1 1.00 0.65 1.61 1.26 2.91 0.00 0.94 1.71

time (sec)

N/A 0.514 2.046 0.042 0.407 0.274 0.000 0.910 10.439

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 92 253 196 447 0 127 257

N.S.

1 1.00 0.63 1.73 1.34 3.06 0.00 0.87 1.76

time (sec)

N/A 0.507 2.989 0.033 0.447 0.266 0.000 0.874 8.593

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 94 241 190 405 0 109 239

N.S.

1 1.00 0.70 1.80 1.42 3.02 0.00 0.81 1.78

time (sec)

N/A 0.538 1.888 0.040 0.439 0.265 0.000 1.057 8.630

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 94 234 191 438 0 97 240

N.S.

1 1.00 0.69 1.72 1.40 3.22 0.00 0.71 1.76

time (sec)

N/A 0.541 2.003 0.036 0.397 0.262 0.000 1.060 8.656

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 100 240 197 504 0 107 258

N.S.

1 1.00 0.69 1.67 1.37 3.50 0.00 0.74 1.79

time (sec)

N/A 0.620 2.872 0.045 0.411 0.254 0.000 1.320 9.096

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 118 258 215 561 0 136 293

N.S.

1 1.00 0.70 1.53 1.27 3.32 0.00 0.80 1.73

time (sec)

N/A 0.492 3.658 0.037 0.412 0.292 0.000 1.362 11.297

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 306 138 166 0 707 0 163 305

N.S.

1 1.00 0.45 0.54 0.00 2.31 0.00 0.53 1.00

time (sec)

N/A 0.505 2.465 0.075 0.000 0.281 0.000 0.533 13.767

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 275 114 143 0 621 0 122 270

N.S.

1 1.00 0.41 0.52 0.00 2.26 0.00 0.44 0.98

time (sec)

N/A 0.456 1.562 0.054 0.000 0.283 0.000 0.484 12.586

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 236 96 124 0 570 0 97 184

N.S.

1 1.00 0.41 0.53 0.00 2.42 0.00 0.41 0.78

time (sec)

N/A 0.338 1.121 0.128 0.000 0.267 0.000 0.423 10.226

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 97 121 0 571 0 98 184

N.S.

1 1.00 0.41 0.52 0.00 2.44 0.00 0.42 0.79

time (sec)

N/A 0.470 1.599 0.081 0.000 0.266 0.000 0.592 9.107

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 267 115 140 0 703 0 113 266

N.S.

1 1.00 0.43 0.52 0.00 2.63 0.00 0.42 1.00

time (sec)

N/A 0.572 1.383 0.054 0.000 0.270 0.000 0.771 9.159

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 296 118 160 0 795 0 141 303

N.S.

1 1.00 0.40 0.54 0.00 2.69 0.00 0.48 1.02

time (sec)

N/A 0.658 1.560 0.066 0.000 0.289 0.000 0.898 11.365

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 316 191 159 0 664 0 143 334

N.S.

1 1.00 0.60 0.50 0.00 2.10 0.00 0.45 1.06

time (sec)

N/A 0.668 3.466 0.072 0.000 0.266 0.000 0.769 12.037

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 277 178 147 0 664 0 125 318

N.S.

1 1.00 0.64 0.53 0.00 2.40 0.00 0.45 1.15

time (sec)

N/A 0.572 3.231 0.098 0.000 0.262 0.000 0.652 11.367

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

279 279 176 144 0 658 0 123 318

N.S.

1 1.00 0.63 0.52 0.00 2.36 0.00 0.44 1.14

time (sec)

N/A 0.530 2.805 0.101 0.000 0.280 0.000 0.560 11.295

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

285 285 178 144 0 664 0 126 318

N.S.

1 1.00 0.62 0.51 0.00 2.33 0.00 0.44 1.12

time (sec)

N/A 0.698 2.419 0.090 0.000 0.270 0.000 0.868 11.105

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 318 180 157 0 763 0 143 338

N.S.

1 1.00 0.57 0.49 0.00 2.40 0.00 0.45 1.06

time (sec)

N/A 0.891 2.037 0.063 0.000 0.278 0.000 1.223 11.928

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 347 180 176 0 861 0 162 373

N.S.

1 1.00 0.52 0.51 0.00 2.48 0.00 0.47 1.07

time (sec)

N/A 0.902 1.967 0.059 0.000 0.293 0.000 1.495 12.218

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

393 393 235 204 0 779 0 208 431

N.S.

1 1.00 0.60 0.52 0.00 1.98 0.00 0.53 1.10

time (sec)

N/A 0.990 6.173 0.071 0.000 0.296 0.000 1.020 11.597

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

364 364 222 181 0 685 0 167 395

N.S.

1 1.00 0.61 0.50 0.00 1.88 0.00 0.46 1.09

time (sec)

N/A 0.865 4.600 0.063 0.000 0.276 0.000 0.950 11.532

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 307 197 163 0 681 0 135 308

N.S.

1 1.00 0.64 0.53 0.00 2.22 0.00 0.44 1.00

time (sec)

N/A 0.773 3.764 0.078 0.000 0.265 0.000 0.853 9.994

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 309 183 152 0 635 0 131 239

N.S.

1 1.00 0.59 0.49 0.00 2.06 0.00 0.42 0.77

time (sec)

N/A 0.938 4.444 0.076 0.000 0.269 0.000 0.779 8.364

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

317 317 179 152 0 631 0 131 239

N.S.

1 1.00 0.56 0.48 0.00 1.99 0.00 0.41 0.75

time (sec)

N/A 0.894 5.014 0.091 0.000 0.260 0.000 0.680 7.867

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 315 168 157 0 682 0 137 308

N.S.

1 1.00 0.53 0.50 0.00 2.17 0.00 0.43 0.98

time (sec)

N/A 0.750 4.487 0.080 0.000 0.262 0.000 1.249 7.868

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

364 364 194 177 0 784 0 167 389

N.S.

1 1.00 0.53 0.49 0.00 2.15 0.00 0.46 1.07

time (sec)

N/A 0.950 3.030 0.059 0.000 0.283 0.000 1.683 8.400

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

393 393 194 196 0 875 0 182 425

N.S.

1 1.00 0.49 0.50 0.00 2.23 0.00 0.46 1.08

time (sec)

N/A 0.998 3.105 0.069 0.000 0.294 0.000 0.723 9.985

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 278 700 0 771 0 0 0

N.S.

1 1.00 1.39 3.50 0.00 3.86 0.00 0.00 0.00

time (sec)

N/A 0.762 7.010 0.263 0.000 0.262 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 189 577 0 673 0 0 2225

N.S.

1 1.00 1.24 3.80 0.00 4.43 0.00 0.00 14.64

time (sec)

N/A 0.536 5.549 0.158 0.000 0.270 0.000 0.000 28.492

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 141 469 0 539 0 0 372

N.S.

1 1.00 1.26 4.19 0.00 4.81 0.00 0.00 3.32

time (sec)

N/A 0.354 2.110 0.141 0.000 0.265 0.000 0.000 13.420

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 102 278 0 435 0 0 0

N.S.

1 1.00 1.13 3.09 0.00 4.83 0.00 0.00 0.00

time (sec)

N/A 0.210 0.952 0.157 0.000 0.252 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 131 354 0 483 0 0 0

N.S.

1 1.00 0.97 2.62 0.00 3.58 0.00 0.00 0.00

time (sec)

N/A 0.393 2.067 0.140 0.000 0.250 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 154 555 0 543 0 0 0

N.S.

1 1.00 0.87 3.12 0.00 3.05 0.00 0.00 0.00

time (sec)

N/A 0.604 6.372 0.138 0.000 0.268 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 282 630 0 593 0 0 0

N.S.

1 1.00 1.28 2.85 0.00 2.68 0.00 0.00 0.00

time (sec)

N/A 0.934 7.496 0.143 0.000 0.259 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 415 650 0 911 0 0 0

N.S.

1 1.00 1.67 2.62 0.00 3.67 0.00 0.00 0.00

time (sec)

N/A 1.401 7.169 0.170 0.000 0.289 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 283 563 0 829 0 0 0

N.S.

1 1.00 1.39 2.76 0.00 4.06 0.00 0.00 0.00

time (sec)

N/A 0.791 4.836 0.146 0.000 0.274 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 257 484 0 743 0 0 0

N.S.

1 1.00 1.65 3.10 0.00 4.76 0.00 0.00 0.00

time (sec)

N/A 0.570 3.560 0.151 0.000 0.281 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 336 519 0 748 0 0 0

N.S.

1 1.00 2.30 3.55 0.00 5.12 0.00 0.00 0.00

time (sec)

N/A 0.556 6.886 0.175 0.000 0.263 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 304 616 0 524 0 0 0

N.S.

1 1.00 2.22 4.50 0.00 3.82 0.00 0.00 0.00

time (sec)

N/A 0.421 7.008 0.130 0.000 0.258 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 360 705 0 593 0 0 0

N.S.

1 1.00 1.99 3.90 0.00 3.28 0.00 0.00 0.00

time (sec)

N/A 0.617 8.087 0.134 0.000 0.248 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 416 794 0 638 0 0 0

N.S.

1 1.00 1.85 3.53 0.00 2.84 0.00 0.00 0.00

time (sec)

N/A 0.860 7.984 0.139 0.000 0.275 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 269 470 883 0 701 0 0 0

N.S.

1 1.00 1.75 3.28 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 1.076 8.393 0.140 0.000 0.264 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 563 740 0 1017 0 0 0

N.S.

1 1.00 1.89 2.48 0.00 3.41 0.00 0.00 0.00

time (sec)

N/A 1.362 7.263 0.166 0.000 0.320 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 503 651 0 932 0 0 0

N.S.

1 1.00 2.00 2.58 0.00 3.70 0.00 0.00 0.00

time (sec)

N/A 1.384 6.784 0.153 0.000 0.273 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 433 564 0 849 0 0 0

N.S.

1 1.00 2.10 2.74 0.00 4.12 0.00 0.00 0.00

time (sec)

N/A 1.021 10.687 0.141 0.000 0.280 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 485 563 0 857 0 0 0

N.S.

1 1.00 2.47 2.87 0.00 4.37 0.00 0.00 0.00

time (sec)

N/A 0.753 7.221 0.156 0.000 0.282 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 554 618 0 846 0 0 0

N.S.

1 1.00 2.92 3.25 0.00 4.45 0.00 0.00 0.00

time (sec)

N/A 0.752 7.316 0.164 0.000 0.283 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 185 447 707 0 608 0 0 0

N.S.

1 1.00 2.42 3.82 0.00 3.29 0.00 0.00 0.00

time (sec)

N/A 0.661 7.691 0.145 0.000 0.267 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 503 796 0 657 0 0 0

N.S.

1 1.00 2.18 3.45 0.00 2.84 0.00 0.00 0.00

time (sec)

N/A 0.896 8.201 0.136 0.000 0.272 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 277 559 885 0 722 0 0 0

N.S.

1 1.00 2.02 3.19 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 1.100 8.816 0.156 0.000 0.269 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 323 613 974 0 771 0 0 0

N.S.

1 1.00 1.90 3.02 0.00 2.39 0.00 0.00 0.00

time (sec)

N/A 1.545 9.712 0.152 0.000 0.270 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 566 618 0 900 0 0 0

N.S.

1 1.00 2.98 3.25 0.00 4.74 0.00 0.00 0.00

time (sec)

N/A 1.159 11.383 0.142 0.000 0.279 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 178 1135 0 807 0 0 0

N.S.

1 1.00 0.87 5.54 0.00 3.94 0.00 0.00 0.00

time (sec)

N/A 0.944 2.755 0.197 0.000 0.341 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 157 894 0 718 0 0 4040

N.S.

1 1.00 1.01 5.73 0.00 4.60 0.00 0.00 25.90

time (sec)

N/A 0.554 2.100 0.152 0.000 0.331 0.000 0.000 28.331

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 111 633 0 416 0 0 426

N.S.

1 1.00 1.12 6.39 0.00 4.20 0.00 0.00 4.30

time (sec)

N/A 0.225 1.368 0.174 0.000 0.268 0.000 0.000 14.095

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 128 695 0 473 0 0 0

N.S.

1 1.00 0.90 4.86 0.00 3.31 0.00 0.00 0.00

time (sec)

N/A 0.406 1.568 0.177 0.000 0.277 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 191 151 740 0 534 0 0 0

N.S.

1 1.00 0.79 3.87 0.00 2.80 0.00 0.00 0.00

time (sec)

N/A 0.590 3.312 0.177 0.000 0.278 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 172 815 0 596 0 0 0

N.S.

1 1.00 0.73 3.44 0.00 2.51 0.00 0.00 0.00

time (sec)

N/A 0.796 3.816 0.181 0.000 0.283 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 179 1215 0 758 0 0 0

N.S.

1 1.00 0.88 5.99 0.00 3.73 0.00 0.00 0.00

time (sec)

N/A 0.769 4.580 0.187 0.000 0.349 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 148 860 0 443 0 0 0

N.S.

1 1.00 0.99 5.73 0.00 2.95 0.00 0.00 0.00

time (sec)

N/A 0.470 2.907 0.159 0.000 0.280 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 152 860 0 441 0 0 0

N.S.

1 1.00 1.03 5.81 0.00 2.98 0.00 0.00 0.00

time (sec)

N/A 0.575 2.001 0.170 0.000 0.272 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 166 923 0 511 0 0 0

N.S.

1 1.00 0.86 4.76 0.00 2.63 0.00 0.00 0.00

time (sec)

N/A 0.906 2.668 0.142 0.000 0.275 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 185 1004 0 569 0 0 0

N.S.

1 1.00 0.77 4.18 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 1.125 4.314 0.168 0.000 0.293 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 296 1530 0 777 0 0 0

N.S.

1 1.00 1.19 6.14 0.00 3.12 0.00 0.00 0.00

time (sec)

N/A 0.973 6.083 0.172 0.000 0.339 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 224 1086 0 459 0 0 0

N.S.

1 1.00 1.15 5.60 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 0.708 3.698 0.138 0.000 0.275 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 222 1086 0 461 0 0 0

N.S.

1 1.00 1.13 5.54 0.00 2.35 0.00 0.00 0.00

time (sec)

N/A 0.700 2.996 0.144 0.000 0.289 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 242 1086 0 460 0 0 0

N.S.

1 1.00 1.25 5.60 0.00 2.37 0.00 0.00 0.00

time (sec)

N/A 0.685 4.700 0.154 0.000 0.288 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 216 1148 0 529 0 0 0

N.S.

1 1.00 0.90 4.78 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 1.063 4.301 0.174 0.000 0.289 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

286 286 259 1229 0 588 0 0 0

N.S.

1 1.00 0.91 4.30 0.00 2.06 0.00 0.00 0.00

time (sec)

N/A 1.554 7.774 0.170 0.000 0.286 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 186 159 167 405 0 0 365

N.S.

1 1.00 0.93 0.79 0.83 2.01 0.00 0.00 1.82

time (sec)

N/A 0.214 0.814 0.066 0.387 0.241 0.000 0.000 1.253

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 270 196 223 210 660 0 0 436

N.S.

1 1.00 0.73 0.83 0.78 2.44 0.00 0.00 1.61

time (sec)

N/A 0.553 5.251 0.093 0.390 0.256 0.000 0.000 10.294

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 232 165 181 187 571 0 0 390

N.S.

1 1.00 0.71 0.78 0.81 2.46 0.00 0.00 1.68

time (sec)

N/A 0.275 1.252 0.055 0.362 0.255 0.000 0.000 9.572

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 138 159 168 489 0 0 367

N.S.

1 1.00 0.68 0.79 0.83 2.42 0.00 0.00 1.82

time (sec)

N/A 0.277 0.662 0.046 0.379 0.265 0.000 0.000 9.384

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 289 127 248 252 711 0 0 1761

N.S.

1 1.00 0.44 0.86 0.87 2.46 0.00 0.00 6.09

time (sec)

N/A 0.659 4.287 0.224 0.413 0.274 0.000 0.000 8.448

[next] [prev] [prev-tail] [front] [up]